An integration model for organizing IT service management &

Source URL: www.ibm.com

• Information technology management
• Information technology
• Computing
• IT service management
• ITIL
• Reference model
• Data model
• Business model
• Object Process Methodology
• IT Service Management Forum
• FitSM

Towards a DSAL for Object Layout in Virtual Machines - Position Paper Stijn Timbermont Bram Adams Michael Haupt

Source URL: dsal.dcc.uchile.cl

• Software engineering
• Computing
• Computer programming
• Object-oriented programming
• Memory management
• Programming paradigms
• Data types
• Java
• Class
• Garbage collection
• VM
• Object model

BioKleisli: A Digital Library for Biomedical Researchers  Susan B. Davidson, Christian Overton, Val Tannen Dept. of Computer and Information Science & Dept. of Genetics University of Pennsylvania Philadelphia, PA 19104

Source URL: homepages.inf.ed.ac.uk

• Computing
• Data management
• Information retrieval
• Database management systems
• Database theory
• Database models
• Relational model
• Query language
• Database
• Relational database
• Object database
• ODB

Data & Knowledge Engineering–819 Contents lists available at ScienceDirect Data & Knowledge Engineering j o u r n a l h o m e p a g e : w w w. e l s ev i e r. c o m / l o c a t e / d a t a k

Source URL: www.infosys.tuwien.ac.at

• Information technology
• Computing
• Data management
• Architectural pattern
• Enterprise architecture
• Information technology management
• Business intelligence
• Data integration
• Data modeling
• Data access object
• View model
• System Architect

Source URL: www.pa.icar.cnr.it

• Software engineering
• Software requirements
• Systems engineering
• Software design
• Metamodeling
• Scientific modeling
• Object Process Methodology
• Requirement
• Non-functional requirement
• TRAK
• Model-driven architecture

Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc

Source URL: www.pa.icar.cnr.it

• Software engineering
• Scientific modeling
• Computing
• Systems science
• Process management
• Software development process
• Formal methods
• Object Process Methodology
• Business process modeling
• Agent-based model
• Requirement
• Metamodeling

Proposed Database Design for OmniLingua Prof. Dennis Shasha Dept of Computer Science Courant Institute, NYU

Source URL: linguistics.as.nyu.edu

• Data management
• Computing
• Data
• Database theory
• Relational model
• Data modeling
• Database
• Relational database
• Attribute
• Relation
• Entityattributevalue model
• Object-relational impedance mismatch

Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro

Source URL: st.inf.tu-dresden.de

• Software testing
• QuickCheck
• Object Constraint Language
• Model-based testing
• Postcondition
• Random testing
• Design by contract
• ECO
• Unit testing
• Unified Modeling Language
• Object Process Methodology
• Test automation

Math. Ann. 319, 517–Mathematische Annalen Digital Object Identifier (DOIs002080000165

Source URL: www.math.uni-bonn.de

• Homotopy theory
• Category theory
• Algebraic topology
• Symmetry
• Highly structured ring spectrum
• Spectrum
• Symmetric spectrum
• Adjoint functors
• Homotopy category
• Model category
• Stable model category
• Equivalence of categories

Towards Feature-Oriented Specification and Development with Event-B Michael R. Poppleton School of Electronics and Computer Science University of Southampton Southampton, SO17 1BJ, UK

Source URL: rodin.cs.ncl.ac.uk

• Formal methods
• Theoretical computer science
• Project management
• Computer programming
• Refinement
• B-Method
• Feature model
• Model checking
• Object Process Methodology
• Software development process
• Algorithm
• Economic model